$\forall$$L$:($\mathbb{Z}$ List), $a$:$\mathbb{Z}$. (0 $<$ $\parallel$$L$$\parallel$) $\Rightarrow$ ((imax{-}list($L$) $\leq$ $a$) $\Leftarrow\!\Rightarrow$ ($\forall$$b$$\in$$L$. $b$ $\leq$ $a$))